/*#include "ses/ses_buzzer.h"
#include "ses/ses_scheduler.h"
#include "ses/ses_display_print.h"



int main(){

	scheduler_init();
	displayPrint_init();
	scheduler_add(buzzer_start, 0);
	scheduler_add(buzzer_stop, 500);
	printf("hello world");
	scheduler_run();

}
*/
